<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 2005-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="instructions" CONTENT="This object will contain the original values of the attributes of a retrieved object for which a mismatched was detected at retrieval time. The value are indexed by the name of the attribute in the stored object. One extra entry is provided to contain the original name of the class in the storing system, indexed by the string 'class'. This allows `correct_mismatch' to determine the original name of its generating class in case class-name translation is in effect.">
<META NAME="description" CONTENT="Original values of the attributes of a mismatched object.">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>mismatch_information Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="mismatch_information_chart.html">Chart</A></TD><TD><A HREF="mismatch_information_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "Original values of the attributes of a mismatched object."
    instructions: "[
        This object will contain the original values of the attributes
        of a retrieved object for which a mismatched was detected at
        retrieval time. The value are indexed by the name of the attribute
        in the stored object. One extra entry is provided to contain the
        original name of the class in the storing system, indexed by the
        string 'class'. This allows <A HREF="../base/hash_table_flatshort.html#f_correct_mismatch">correct_mismatch</A> to determine the
        original name of its generating class in case class-name
        translation is in effect.
    ]"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 2005-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2008-05-24 02:24:07 +0200 (Sat, 24 May 2008) $"
    revision: "$Revision: 170 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>


<B>create</B> {<A HREF="../base/mismatch_corrector_flatshort.html">MISMATCH_CORRECTOR</A>}
    <A NAME="f_default_create"><A HREF="../base/mismatch_information_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Make container with default size</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialization</FONT>

    <A NAME="f_accommodate"><A HREF="../base/hash_table_flatshort.html#f_accommodate">accommodate</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reallocate table with enough space for </FONT>`n'<FONT COLOR="red"> items;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> keep all current items.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            n &gt;= 0
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            count_not_changed: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
            slot_count_same_as_count: <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
            breathing_space: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> &lt; <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>
</A>
    <A NAME="f_default_create"><A HREF="../base/mismatch_information_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Make container with default size</FONT>
</A>
    <A NAME="f_make"><A HREF="../base/hash_table_flatshort.html#f_make">make</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Allocate hash table for at least </FONT>`n'<FONT COLOR="red"> items.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> The table will be resized automatically</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> if more than </FONT>`n'<FONT COLOR="red"> items are inserted.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            breathing_space: n &lt; <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>
            more_than_minimum: <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> &gt; <A HREF="../base/hash_table_flatshort.html#f_minimum_capacity">minimum_capacity</A>
            no_status: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_special_status">special_status</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_class_name"><A HREF="../base/mismatch_information_flatshort.html#f_class_name">class_name</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of generating class which held attribute values</FONT>
        <B>ensure</B>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_current_keys"><A HREF="../base/hash_table_flatshort.html#f_current_keys">current_keys</A>: <A HREF="../base/array_flatshort.html">ARRAY</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New array containing actually used keys, from 1 to </FONT><A HREF="../base/hash_table_flatshort.html#f_count">count</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            good_count: <B>Result</B>.<A HREF="../base/array_flatshort.html#f_count">count</A> = <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
</A>
    <A NAME="f_cursor"><A HREF="../base/hash_table_flatshort.html#f_cursor">cursor</A>: <A HREF="../base/cursor_flatshort.html">CURSOR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Current cursor position</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            cursor_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_found_item"><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A>: <A HREF="../base/any_flatshort.html">ANY</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Item, if any, yielded by last search operation</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_has"><A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is there an item in the table with key </FONT>`key'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            default_case: (key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>implies</B> (<B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)
</A>
    <A NAME="f_has_item"><A HREF="../base/hash_table_flatshort.html#f_has_item">has_item</A> (v: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does structure include </FONT>`v'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Reference or object equality,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> based on </FONT><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A><FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            not_found_in_empty: <B>Result</B> <B>implies</B> <B>not</B> <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_has_key"><A HREF="../base/hash_table_flatshort.html#f_has_key">has_key</A> (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is there an item in the table with key </FONT>`key'<FONT COLOR="red">? Set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the found item.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            default_case: (key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>implies</B> (<B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)
            found: <B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_found">found</A>
            item_if_found: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key))
</A>
    <A NAME="f_item"><B>item</B> <B>alias</B> "[]" (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/any_flatshort.html">ANY</A> <B>assign</B> <A HREF="../base/hash_table_flatshort.html#f_put">put</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Item associated with </FONT>`key'<FONT COLOR="red">, if present</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> otherwise default value of type </FONT>`G'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><B>infix</B> "@"<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/hash_table_flatshort.html#f_valid_key">valid_key</A> (key)
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            default_value_if_not_present: (<B>not</B> (<A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key))) <B>implies</B> (<B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_computed_default_value">computed_default_value</A>)
</A>
    <A NAME="f_item_for_iteration"><A HREF="../base/hash_table_flatshort.html#f_item_for_iteration">item_for_iteration</A>: <A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Element at current iteration position</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            not_off: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_off">off</A>
</A>
    <A NAME="f_key_for_iteration"><A HREF="../base/hash_table_flatshort.html#f_key_for_iteration">key_for_iteration</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Key at current iteration position</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            not_off: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_off">off</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            at_iteration_position: <B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_key_at">key_at</A> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A>)
</A>
    <A NAME="f_infix "@""><B>infix</B> "@" (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/any_flatshort.html">ANY</A> <B>assign</B> <A HREF="../base/hash_table_flatshort.html#f_put">put</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Item associated with </FONT>`key'<FONT COLOR="red">, if present</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> otherwise default value of type </FONT>`G'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/hash_table_flatshort.html#f_item">item</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/hash_table_flatshort.html#f_valid_key">valid_key</A> (key)
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            default_value_if_not_present: (<B>not</B> (<A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key))) <B>implies</B> (<B>Result</B> = <A HREF="../base/hash_table_flatshort.html#f_computed_default_value">computed_default_value</A>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Measurement</FONT>

    <A NAME="f_capacity"><A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of items that may be stored.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_count"><A HREF="../base/hash_table_flatshort.html#f_count">count</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of items in table</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_occurrences"><A HREF="../base/hash_table_flatshort.html#f_occurrences">occurrences</A> (v: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of table items equal to </FONT>`v'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/bag_flatshort.html">BAG</A>
            non_negative_occurrences: <B>Result</B> &gt;= 0
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/hash_table_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does table contain the same information as </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_after"><A HREF="../base/hash_table_flatshort.html#f_after">after</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is cursor past last item?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/hash_table_flatshort.html#f_off">off</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            definition: <B>Result</B> = ((<B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> <B>and</B> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A> &gt;= <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>)) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> <B>and</B> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A> = (<A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> + 1))))
</A>
    <A NAME="f_changeable_comparison_criterion"><A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May </FONT><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A><FONT COLOR="red"> be changed?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Answer: yes by default.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_conflict"><A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation cause a conflict?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_extendible"><A HREF="../base/hash_table_flatshort.html#f_extendible">extendible</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A> <B>is</B> <B>True</B></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May new items be added? (Answer: yes.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_found"><A HREF="../base/hash_table_flatshort.html#f_found">found</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation find the item sought?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_full"><A HREF="../base/hash_table_flatshort.html#f_full">full</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A> <B>is</B> <B>False</B></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is structure filled to capacity? (Answer: no.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_inserted"><A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation insert an item?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_is_empty"><A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is structure empty?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/container_flatshort.html">CONTAINER</A>
            <B>True</B>
</A>
    <A NAME="f_is_inserted"><A HREF="../base/collection_flatshort.html#f_is_inserted">is_inserted</A> (v: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Has </FONT>`v'<FONT COLOR="red"> been inserted by the most recent insertion?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (By default, the value returned is equivalent to calling </FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`has (v)'<FONT COLOR="red">. However, descendants might be able to provide more</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> efficient implementations.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_not_found"><A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation fail to find the item sought?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_object_comparison"><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Must search operations use </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A><FONT COLOR="red"> rather than </FONT>`='
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> for comparing references? (Default: no, use </FONT>`='<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>

    <A NAME="f_off"><A HREF="../base/hash_table_flatshort.html#f_off">off</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is cursor past last item?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/hash_table_flatshort.html#f_after">after</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            definition: <B>Result</B> = ((<B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> <B>and</B> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A> &gt;= <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>)) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> <B>and</B> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A> = (<A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> + 1))))
</A>
    <A NAME="f_prunable"><A HREF="../base/hash_table_flatshort.html#f_prunable">prunable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May items be removed? (Answer: yes.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_removed"><A HREF="../base/hash_table_flatshort.html#f_removed">removed</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation remove an item?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_replaced"><A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Did last operation replace an item?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>
    <A NAME="f_valid_cursor"><A HREF="../base/hash_table_flatshort.html#f_valid_cursor">valid_cursor</A> (c: <A HREF="../base/cursor_flatshort.html">CURSOR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Can cursor be moved to position </FONT>`c'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            c_not_void: c /= <B>Void</B>
</A>
    <A NAME="f_valid_key"><A HREF="../base/hash_table_flatshort.html#f_valid_key">valid_key</A> (k: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`k'<FONT COLOR="red"> a valid key?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_compare_objects"><A HREF="../base/container_flatshort.html#f_compare_objects">compare_objects</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Ensure that future search operations will use </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> rather than </FONT>`='<FONT COLOR="red"> for comparing references.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            changeable_comparison_criterion: <A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>
</A>
    <A NAME="f_compare_references"><A HREF="../base/container_flatshort.html#f_compare_references">compare_references</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Ensure that future search operations will use </FONT>`='
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> rather than </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A><FONT COLOR="red"> for comparing references.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            changeable_comparison_criterion: <A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            reference_comparison: <B>not</B> <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Cursor movement</FONT>

    <A NAME="f_forth"><A HREF="../base/hash_table_flatshort.html#f_forth">forth</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Advance cursor to next occupied position,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or </FONT><A HREF="../base/hash_table_flatshort.html#f_off">off</A><FONT COLOR="red"> if no such position remains.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            not_off: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_off">off</A>
</A>
    <A NAME="f_go_to"><A HREF="../base/hash_table_flatshort.html#f_go_to">go_to</A> (c: <A HREF="../base/cursor_flatshort.html">CURSOR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Move to position </FONT>`c'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            c_not_void: c /= <B>Void</B>
            valid_cursor: <A HREF="../base/hash_table_flatshort.html#f_valid_cursor">valid_cursor</A> (c)
</A>
    <A NAME="f_search"><A HREF="../base/hash_table_flatshort.html#f_search">search</A> (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Search for item of key </FONT>`key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If found, set </FONT><A HREF="../base/hash_table_flatshort.html#f_found">found</A><FONT COLOR="red"> to true, and set</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to item associated with </FONT>`key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            found_or_not_found: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>
            item_if_found: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key))
</A>
    <A NAME="f_start"><A HREF="../base/hash_table_flatshort.html#f_start">start</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bring cursor to first position.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Element change</FONT>

    <A NAME="f_extend"><A HREF="../base/hash_table_flatshort.html#f_extend">extend</A> (new: <A HREF="../base/any_flatshort.html">ANY</A>; key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Assuming there is no item of key </FONT>`key'<FONT COLOR="red">,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> insert </FONT>`new'<FONT COLOR="red"> with </FONT>`key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> To choose between various insert/replace procedures,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> see </FONT>`instructions'<FONT COLOR="red"> in the Indexing clause.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            not_present: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            inserted: <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A>
            insertion_done: <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = new
            one_more: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A> + 1
            same_slot_count_or_one_more_unless_reallocated: (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A>) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> + 1) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <A HREF="../base/hash_table_flatshort.html#f_count">count</A>)
            default_property: <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> = ((key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>or</B> (<B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>))
</A>
    <A NAME="f_fill"><A HREF="../base/collection_flatshort.html#f_fill">fill</A> (other: <A HREF="../base/container_flatshort.html">CONTAINER</A> [<A HREF="../base/any_flatshort.html">ANY</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill with as many items of </FONT>`other'<FONT COLOR="red"> as possible.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> The representations of </FONT>`other'<FONT COLOR="red"> and current structure</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> need not be the same.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            other_not_void: other /= <B>Void</B>
            extendible: <A HREF="../base/hash_table_flatshort.html#f_extendible">extendible</A>
</A>
    <A NAME="f_force"><A HREF="../base/hash_table_flatshort.html#f_force">force</A> (new: <A HREF="../base/any_flatshort.html">ANY</A>; key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update table so that </FONT>`new'<FONT COLOR="red"> will be the item associated</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> with </FONT>`key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If there was an item for that key, set </FONT><A HREF="../base/hash_table_flatshort.html#f_found">found</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> and set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to that item.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If there was none, set </FONT><A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A><FONT COLOR="red"> and set</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the default value.</FONT>
            <FONT COLOR="red">--</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> To choose between various insert/replace procedures,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> see </FONT>`instructions'<FONT COLOR="red"> in the Indexing clause.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require else</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            <B>True</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            insertion_done: <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = new
            now_present: <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key)
            found_or_not_found: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>
            not_found_if_was_not_present: <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A> = <B>not</B> (<B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key))
            same_count_or_one_more: (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A>) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A> + 1)
            same_slot_count_or_one_more_unless_reallocated: (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A>) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> + 1) <B>or</B> (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <A HREF="../base/hash_table_flatshort.html#f_count">count</A>)
            found_item_is_old_item: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key)))
            default_value_if_not_found: <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <A HREF="../base/hash_table_flatshort.html#f_computed_default_value">computed_default_value</A>)
            default_property: <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> = ((key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>or</B> ((key /= <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>and</B> (<B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)))
</A>
    <A NAME="f_merge"><A HREF="../base/hash_table_flatshort.html#f_merge">merge</A> (other: <A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/string_8_flatshort.html">STRING_8</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Merge </FONT>`other'<FONT COLOR="red"> into Current. If </FONT>`other'<FONT COLOR="red"> has some elements</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> with same key as in </FONT>`Current'<FONT COLOR="red">, replace them by one from</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            inserted: other.<A HREF="../base/hash_table_flatshort.html#f_current_keys">current_keys</A>.<A HREF="../base/array_flatshort.html#f_linear_representation">linear_representation</A>.<A HREF="../base/linear_flatshort.html#f_for_all">for_all</A> (<B>agent</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A>)
</A>
    <A NAME="f_put"><A HREF="../base/hash_table_flatshort.html#f_put">put</A> (new: <A HREF="../base/any_flatshort.html">ANY</A>; key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Insert </FONT>`new'<FONT COLOR="red"> with </FONT>`key'<FONT COLOR="red"> if there is no other item</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> associated with the same key.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A><FONT COLOR="red"> if and only if an insertion has</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> been made (i.e. </FONT>`key'<FONT COLOR="red"> was not present).</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If so, set </FONT><A HREF="../base/hash_table_flatshort.html#f_position">position</A><FONT COLOR="red"> to the insertion position.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If not, set </FONT><A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> In either case, set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the item</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> now associated with </FONT>`key'<FONT COLOR="red"> (previous item if</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> there was one, </FONT>`new'<FONT COLOR="red"> otherwise).</FONT>
            <FONT COLOR="red">--</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> To choose between various insert/replace procedures,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> see </FONT>`instructions'<FONT COLOR="red"> in the Indexing clause.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/hash_table_flatshort.html#f_valid_key">valid_key</A> (key)
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            conflict_or_inserted: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A>
            insertion_done: <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>implies</B> <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = new
            now_present: <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>implies</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key)
            one_more_if_inserted: <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A> + 1)
            unchanged_if_conflict: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A>)
            same_item_if_conflict: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key)))
            slot_count_unchanged_if_conflict: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A>)
            found_item_associated_with_key: <A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key)
            new_item_if_inserted: <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = new)
            old_item_if_conflict: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key)))
            default_property: <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> = ((<A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>and</B> (key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>)) <B>or</B> ((<A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>or</B> (key /= <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>)) <B>and</B> (<B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)))
</A>
    <A NAME="f_replace"><A HREF="../base/hash_table_flatshort.html#f_replace">replace</A> (new: <A HREF="../base/any_flatshort.html">ANY</A>; key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Replace item at </FONT>`key'<FONT COLOR="red">, if present,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> with </FONT>`new'<FONT COLOR="red">; do not change associated key.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A><FONT COLOR="red"> if and only if a replacement has been made</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (i.e. </FONT>`key'<FONT COLOR="red"> was present); otherwise set </FONT><A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the item previously associated</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> with </FONT>`key'<FONT COLOR="red"> (default value if there was none).</FONT>
            <FONT COLOR="red">--</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> To choose between various insert/replace procedures,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> see </FONT>`instructions'<FONT COLOR="red"> in the Indexing clause.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            replaced_or_not_found: <A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>
            insertion_done: <A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>implies</B> <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = new
            no_change_if_not_found: <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A> <B>implies</B> <A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key) = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key))
            found_item_is_old_item: <A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A> = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (key))
</A>
    <A NAME="f_replace_key"><A HREF="../base/hash_table_flatshort.html#f_replace_key">replace_key</A> (new_key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>; old_key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If there is an item of key </FONT>`old_key'<FONT COLOR="red"> and no item of key</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`new_key'<FONT COLOR="red">, replace the former's key by </FONT>`new_key'<FONT COLOR="red">,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> set </FONT><A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A><FONT COLOR="red">, and set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the item</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> previously associated with </FONT>`old_key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Otherwise set </FONT><A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A><FONT COLOR="red"> or </FONT><A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A><FONT COLOR="red"> respectively.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If </FONT><A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A><FONT COLOR="red">, set </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to the item previously</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> associated with </FONT>`new_key'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> To choose between various insert/replace procedures,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> see </FONT>`instructions'<FONT COLOR="red"> in the Indexing clause.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            same_count: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
            replaced_or_conflict_or_not_found: <A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>
            old_absent: (<A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>and</B> <B>not</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (new_key, old_key)) <B>implies</B> (<B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (old_key))
            new_present: (<A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A>) = <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (new_key)
            new_item: <A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (new_key) = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (old_key)))
            not_found_implies_no_old_key: <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A> <B>implies</B> <B>old</B> (<B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (old_key))
            conflict_iff_already_present: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_has">has</A> (new_key))
            not_inserted_if_conflict: <A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (new_key) = <B>old</B> (<A HREF="../base/hash_table_flatshort.html#f_item">item</A> (new_key)))
            default_property: <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> = ((new_key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>or</B> ((new_key /= <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>and</B> (<B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Removal</FONT>

    <A NAME="f_clear_all"><A HREF="../base/hash_table_flatshort.html#f_clear_all">clear_all</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset all items to default values; reset status.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/hash_table_flatshort.html#f_wipe_out">wipe_out</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            prunable: <A HREF="../base/hash_table_flatshort.html#f_prunable">prunable</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            wiped_out: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            position_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_position">position</A> = 0
            count_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> = 0
            used_slot_count_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = 0
            has_default_set: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>
            no_status: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_special_status">special_status</A>
</A>
    <A NAME="f_remove"><A HREF="../base/hash_table_flatshort.html#f_remove">remove</A> (key: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Remove item associated with </FONT>`key'<FONT COLOR="red">, if present.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/hash_table_flatshort.html#f_removed">removed</A><FONT COLOR="red"> if and only if an item has been</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> removed (i.e. </FONT>`key'<FONT COLOR="red"> was present);</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> if so, set </FONT><A HREF="../base/hash_table_flatshort.html#f_position">position</A><FONT COLOR="red"> to index of removed element.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If not, set </FONT><A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset </FONT><A HREF="../base/hash_table_flatshort.html#f_found_item">found_item</A><FONT COLOR="red"> to its default value if </FONT><A HREF="../base/hash_table_flatshort.html#f_removed">removed</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            removed_or_not_found: <A HREF="../base/hash_table_flatshort.html#f_removed">removed</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>
            not_present: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has">has</A> (key)
            one_less: <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_count">count</A> - 1)
            same_slot_count: <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A>
            default_case: (key = <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>implies</B> (<B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)
            non_default_case: (key /= <A HREF="../base/hash_table_flatshort.html#f_computed_default_key">computed_default_key</A>) <B>implies</B> (<A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A> = <B>old</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>)
</A>
    <A NAME="f_wipe_out"><A HREF="../base/hash_table_flatshort.html#f_wipe_out">wipe_out</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset all items to default values; reset status.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/hash_table_flatshort.html#f_clear_all">clear_all</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            position_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_position">position</A> = 0
            count_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> = 0
            used_slot_count_equal_to_zero: <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> = 0
            has_default_set: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_has_default">has_default</A>
            no_status: <B>not</B> <A HREF="../base/hash_table_flatshort.html#f_special_status">special_status</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Conversion</FONT>

    <A NAME="f_linear_representation"><A HREF="../base/hash_table_flatshort.html#f_linear_representation">linear_representation</A>: <A HREF="../base/arrayed_list_flatshort.html">ARRAYED_LIST</A> [<A HREF="../base/any_flatshort.html">ANY</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Representation as a linear structure</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/container_flatshort.html">CONTAINER</A>
            <B>True</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
            result_exists: <B>Result</B> /= <B>Void</B>
            good_count: <B>Result</B>.<A HREF="../base/arrayed_list_flatshort.html#f_count">count</A> = <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/hash_table_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Re-initialize from </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/hash_table_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/hash_table_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/hash_table_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/hash_table_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Correction</FONT>

    <A NAME="f_mismatch_information"><A HREF="../base/mismatch_corrector_flatshort.html#f_mismatch_information">mismatch_information</A>: <A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Original attribute values of mismatched object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mismatch_corrector_flatshort.html">MISMATCH_CORRECTOR</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/mismatch_information_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Printable representation of attributes values</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
    singleton: (<B>create</B> {<A HREF="../base/mismatch_corrector_flatshort.html">MISMATCH_CORRECTOR</A>}).<A HREF="../base/mismatch_corrector_flatshort.html#f_mismatch_information">mismatch_information</A> /= <B>Void</B> <B>implies</B> <B>Current</B> = (<B>create</B> {<A HREF="../base/mismatch_corrector_flatshort.html">MISMATCH_CORRECTOR</A>}).<A HREF="../base/mismatch_corrector_flatshort.html#f_mismatch_information">mismatch_information</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A>
    keys_not_void: <A HREF="../base/hash_table_flatshort.html#f_keys">keys</A> /= <B>Void</B>
    content_not_void: <A HREF="../base/hash_table_flatshort.html#f_content">content</A> /= <B>Void</B>
    deleted_marks_not_void: <A HREF="../base/hash_table_flatshort.html#f_deleted_marks">deleted_marks</A> /= <B>Void</B>
    keys_same_capacity_plus_one: <A HREF="../base/hash_table_flatshort.html#f_keys">keys</A>.<A HREF="../base/special_flatshort.html#f_count">count</A> = <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> + 1
    content_same_capacity_plus_one: <A HREF="../base/hash_table_flatshort.html#f_content">content</A>.<A HREF="../base/special_flatshort.html#f_count">count</A> = <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> + 1
    deleted_same_capacity: <A HREF="../base/hash_table_flatshort.html#f_deleted_marks">deleted_marks</A>.<A HREF="../base/special_flatshort.html#f_count">count</A> = <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A> + 1
    valid_iteration_position: <A HREF="../base/hash_table_flatshort.html#f_off">off</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_truly_occupied">truly_occupied</A> (<A HREF="../base/hash_table_flatshort.html#f_iteration_position">iteration_position</A>)
    control_non_negative: <A HREF="../base/hash_table_flatshort.html#f_control">control</A> &gt;= 0
    special_status: <A HREF="../base/hash_table_flatshort.html#f_special_status">special_status</A> = (<A HREF="../base/hash_table_flatshort.html#f_conflict">conflict</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_inserted">inserted</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_replaced">replaced</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_removed">removed</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_found">found</A> <B>or</B> <A HREF="../base/hash_table_flatshort.html#f_not_found">not_found</A>)
    count_big_enough: 0 &lt;= <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
    count_small_enough: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> &lt;= <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>
    count_no_more_than_slot_count: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> &lt;= <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A>
    slot_count_big_enough: 0 &lt;= <A HREF="../base/hash_table_flatshort.html#f_count">count</A>
    slot_count_small_enough: <A HREF="../base/hash_table_flatshort.html#f_used_slot_count">used_slot_count</A> &lt;= <A HREF="../base/hash_table_flatshort.html#f_capacity">capacity</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A>
    empty_definition: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A> = (<A HREF="../base/hash_table_flatshort.html#f_count">count</A> = 0)
    non_negative_count: <A HREF="../base/hash_table_flatshort.html#f_count">count</A> &gt;= 0

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/mismatch_information_flatshort.html">MISMATCH_INFORMATION</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="mismatch_information_chart.html">Chart</A></TD><TD><A HREF="mismatch_information_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

